In this paper, we try to provide a theory that explains human behavior, and thinking in their totality. We missed the corporeal part when writing the theory about our new model for the human psyche: It was missing explaining that some things are physical, such as memories, involuntary organic movements, disease, etc. If we had developed a philosophical model for the soma, we would also miss the essence of the individual, what we have decided to call psyche. In order to (...) explain how our hand could not stand the pressure and ended up releasing the link that then got lose and killed somebody, we need the philosophical explanation involving the soma. In order to explain why a person had a shared-ego moment, we need the philosophical explanation involving the psyche. In this way, it is missing creating a theory that unifies all in order to produce a set that can explain any situation that involves human behavior and thinking. We are then calling the entity that collects all in one, which is needed for our better understanding, Human Persona. Persona because that reminds us of individuality, unique characteristics that tell us that the individual we call John Smith, of id 143, is someone special. Human because we do talk about personality of animals, and we would like to make sure we create an impression of difference and superiority when referring to humans. The tools we here use are logical analysis, deductive reasoning, selection and collection of real-life evidence, etc. (shrink)

This is a review article on Franz Brentano’s Descriptive Psychology published in 1982. We provide a detailed exposition of Brentano’s work on this topic, focusing on the unity of consciousness, the modes of connection and the types of part, including separable parts, distinctive parts, logical parts and what Brentano calls modificational quasi-parts. We also deal with Brentano’s account of the objects of sensation and the experience of time.

Formal principles governing best practices in classification and definition have for too long been neglected in the construction of biomedical ontologies, in ways which have important negative consequences for data integration and ontology alignment. We argue that the use of such principles in ontology construction can serve as a valuable tool in error-detection and also in supporting reliable manual curation. We argue also that such principles are a prerequisite for the successful application of advanced data integration techniques such as ontology-based (...) multi-database querying, automated ontology alignment and ontology-based text-mining. These theses are illustrated by means of a case study of the Gene Ontology, a project of increasing importance within the field of biomedical data integration. (shrink)

We talk about how to best protect Australia against cyberterrorist attacks of the type in which the offenders use a computer to attack or in which the offenders attack computers. Our concern is phenomena like Stuxnet and Ransomware, but also any attack that has not yet happened, as for our official records, so say hacking of satellite and use of its allowances to burn people alive to death. We talk about the basics, which could be the advice of FireEye, and (...) we talk about the sophisticated, which could be what is not yet printed. We worry about actions that could be considered part of the intelligence system, so things that demand detailed study of the past and systemic plus organised collection of data in the present. We do not talk about how to deal with Acts of War: Only about how to protect our systems to best so that we do not get those happening via computer or from a computer. (shrink)

In this paper we propose a formal theory of partitions (ways of dividing up or sorting or mapping reality) and we show how the theory can be applied in the geospatial domain. We characterize partitions at two levels: as systems of cells (theory A), and in terms of their projective relation to reality (theory B). We lay down conditions of well-formedness for partitions and we define what it means for partitions to project truly onto reality. We continue by classifying well-formed (...) partitions along three axes: (a) degree of correspondence between partition cells and objects in reality; (b) degree to which a partition represents the mereological structure of the domain it is projected onto; and (c) degree of completeness and exhaustiveness with which a partition represents reality. This classification is used to characterize three types of partitions that play an important role in spatial information science: cadastral partitions, categorical coverages, and the partitions involved in folk categorizations of the geospatial domain. (shrink)

‘Eruv’ is a Hebrew word meaning literally ‘mixture’ or ‘mingling’. An eruv is an urban region demarcated within a larger urban region by means of a boundary made up of telephone wires or similar markers. Through the creation of the eruv, the smaller region is turned symbolically (halachically = according to Jewish law) into a private domain. So long as they remain within the boundaries of the eruv, Orthodox Jews may engage in activities that would otherwise be prohibited on the (...) Sabbath, such as pushing prams or wheelchairs, or carrying walking sticks. There are eruvim in many towns and university campuses throughout the world. There are five eruvim in Chicago, five in Brooklyn, twenty three in Queens and Long Island, and at least three in Manhattan. The US Supreme Court is (like most other major US Federal Government buildings) located within the eruv of Washington DC. In many cases, not all of those living within or near the area of an actual or proposed eruv will themselves be Orthodox Jews, and this has sometimes led to protests against eruv creation. It is such protests which triggered the writing of this essay. (shrink)

Does ?ought? imply ?can? for collectives' obligations? In this paper I want to establish two things. The first, what a collective obligation means for members of the collective. The second, how collective ability can be ascertained. I argue that there are four general kinds of obligation, which devolve from collectives to members in different ways, and I give an account of the distribution of obligation from collectives to members for each of these kinds. One implication of understanding collective obligation and (...) ability in the proposed way is that a group can be blameworthy for failing to realize its obligation even when no member of the group is blameworthy for failing to realize her obligation. (shrink)

This paper, while neutral on questions about the minimality of truth, argues for the non-minimality of truth-aptness.

Affective science conducts interdisciplinary research into the emotions and other affective phenomena. Currently, such research is hampered by the lack of common definitions of terms used to describe, categorise and report both individual emotional experiences and the results of scientific investigations of such experiences. High quality ontologies provide formal definitions for types of entities in reality and for the relationships between such entities, definitions which can be used to disambiguate and unify data across different disciplines. Heretofore, there has been little (...) effort directed towards such formal representation for affective phenomena, in part because of widespread debates within the affective science community on matters of definition and categorization. To address this requirement, we are developing an Emotion Ontology (EMO). (shrink)

When Adam Smith published his celebrated writings on economics and moral philosophy he famously referred to the operation of an invisible hand. Adam Smith's Political Philosophy makes visible the invisible hand by examining its significance in Smith's political philosophy and relating it to similar concepts used by other philosophers, revealing a distinctive approach to social theory that stresses the significance of the unintended consequences of human action. This book introduces greater conceptual clarity to the discussion of the (...) invisible hand and the related concept of unintended order in the work of Smith and in political theory more generally. By examining the application of spontaneous order ideas in the work of Smith, Hume, Hayek and Popper, Adam Smith's Political Philosophy traces similarities in approach and from these builds a conceptual, composite model of an invisible hand argument. While setting out a clear model of the idea of spontaneous order the book also builds the case for using the idea of spontaneous order as an explanatory social theory, with chapters on its application in the fields of science, moral philosophy, law and government. (shrink)

A moral requirement R1 is said to be lexically prior to a moral requirement R2 just in case we are morally obliged to uphold R1 at the expense of R2 – no matter how many times R2 must be violated thereby. While lexical priority is a feature of many ethical theories, and arguably a part of common sense morality, attempts to model it within the framework of decision theory have led to a series of problems – a fact which is (...) sometimes spun as a ‘decision theoretic critique’ of lexical priority. In this paper, I develop an enriched decision theoretic framework that is capable of modelling lexical priority while avoiding all extant problems. This will involve introducing several new ingredients into the standard decision theoretic framework, including multidimensional utilities, de minimis risks, and the means to represent two different conceptions of risk. (shrink)

This essay discusses the Vietnam War from the perspective of the strategist, and with focus on men-power,which is part of the concept of `order of the battle’. The interest is progressing toward determining best methodsfor the calculation of estimates of this type to decrease mistake in wars that involve various nations. Uponstudying the debate involving the estimates for the Vietnam War, period ranging from 1965 to 1968, theconclusion is that there were gross mistakes from the part of the military, and (...) methods of producing the order ofthe battle have to be much better examined. Systems of decision, and management deserve revision, so that whathas happened during the Vietnam War does not repeat: important is saving human lives, not the prestige ofindividual institutions or even the amount of negative criticism that is made publicly available about them.National forces must mean also Academia, and there is a chance that Academia can improve those systems bymuch if governmental authorities acknowledge its existence in all sectors of the national life. The best strategyis still including the dissident group or person, not facing them as an enemy, when it comes to those who areregarded by the general public as part of the national forces. (shrink)

In her ‘On the apparent paradox of ideal theory’, Laura Valentini combines three supposedly plausible premises to derive the paradoxical result that ideal theory is both unable to, and indispensable for, guiding action. Her strategy is to undermine one of the three premises by arguing that there are good and bad kinds of ideal theory, and only the bad kinds are vulnerable to the strongest version of their opponents’ attack. By undermining one of the three premises she releases ideal theorists (...) from the paradox, which is as follows. (1) Any sound theory of justice is action-guiding. (2) Any sound theory of justice is ideal. (3) Any ideal theory fails to be action-guiding. Here I shall respond to Valentini in two ways. First, I shall show that both (1) and (2) are false. The falsity of either is sufficient to release ideal theorists from the paradox. Second, I shall show that Valentini’s response to (3) can be extended, because her bad kinds of ideal theory do not necessarily fail to guide action. The cumulative effect of my arguments further strengthens Valentini’s support of ideal theory. I will deal with premises (1) and (2) in Sections I and II, and (3) in Section III. (shrink)

Incarceration is a hurdle for The State, the perpetrator‘s family, society in general, the victim, and the perpetrator themselves. Laws, regulations, and rules are as relative, and fragile as their associated human group intended them to be, and it is frequently the case that they change so completely from one location to another that one can be regarded as a hero in one place, and most unacceptable perpetrator in another for practicing the same acts. It is time for a change: (...) community justice centers are a good start - especially if one considers their court intervention programs –because they align with the concept of restorative justice, and form a natural step toward incarceration zero, which has to be human kind‘s goal. (shrink)

The truthmaker theory rests on the thesis that the link between a true judgment and that in the world to which it corresponds is not a one-to-one but rather a one-to-many relation. An analogous thesis in relation to the link between a singular term and that in the world to which it refers is already widely accepted. This is the thesis to the effect that singular reference is marked by vagueness of a sort that is best understood in supervaluationist terms. (...) In what follows we show that the supervaluationist approach to singular reference, when wedded to the truthmaker idea, yields a framework of surprising power, which offers a uniform set of solutions to a range of problems regarding identity, reference and knowledge, problems which have hitherto been dealt with on an ad hoc basis. (shrink)

A discussion on this so debatable and debated concept, Higher Order Vagueness. After going through the issues that make Higher Order Vagueness an object of scientific attention, we conclude that vagueness is undesirable in logical systems but desirable in language, and the Semiotics Universe splits into three other universes inside of the universe of the Computer Science Systems. We create a new way of addressing problems with sigmatoids, and define vagueness in an almost mathematical fashion.

The essay constructs an ontological theory designed to capture the categories instantiated in those portions or levels of reality which are captured in our common sense conceptual scheme. It takes as its starting point an Aristotelian ontology of “substances” and “accidents”, which are treated via the instruments of mereology and topology. The theory recognizes not only individual parts of substances and accidents, including the internal and external boundaries of these, but also universal parts, such as the “humanity” which is an (...) essential part of both Tom and Dick, and also “individual relations”, such as Tom’s promise to Dick, or their current handshake. (shrink)

This book gathers the contribution of Brazilian and Argentine philosophers around themes of contemporary analytical philosophy.

I distinguish paradoxes and hypodoxes among the conundrums of time travel. I introduce ‘hypodoxes’ as a term for seemingly consistent conundrums that seem to be related to various paradoxes, as the Truth-teller is related to the Liar. In this article, I briefly compare paradoxes and hypodoxes of time travel with Liar paradoxes and Truth-teller hypodoxes. I also discuss Lewis’ treatment of time travel paradoxes, which I characterise as a Laissez Faire theory of time travel. Time travel paradoxes are impossible according (...) to Laissez Faire theories, while it seems hypodoxes are possible. (shrink)

In a recent paper in this journal Duncan Pritchard responds to an objection to the modal account of risk pressed by Ebert, Smith and Durbach ( 2020 ). In this paper, I expand upon the objection and argue that it still stands. I go on to consider a more general question raised by this exchange – whether risk is ‘objective’, or whether it is something that varies from one perspective to another.

From a radical feminist perspective, gender is a cage. Or to be more precise, it’s two cages. If genders are cages, then surely we want to let people out. Being less constrained in our choices is something we all have reason to want: theorists in recent years have emphasized the importance of the capability to do and be many different things. At the very least, we should want an end to sex-based oppression. But what does this entail, when it comes (...) to gender? In this paper, I’ll compare four ‘transitional pathways’, with a view to considering how each relates to the ultimate end of ending sex-based oppression. Should we open the doors to the cages, so that people can move freely between them, but leave the cages themselves in place?. Should we add more cages?. Should we make the cages bigger, so that people have a lot more room to move around inside them? Or should we dismantle the cages, so there are no more genders at all?. Some of these options are ‘gender revisionist’, others are gender abolitionist. I’ll argue in favour of a gender abolitionist pathway. (shrink)

A belief one has is safe if either (i) it could not easily be false or (ii) in any nearby world in which it is false, it is not formed using the method one uses to form one’s actual belief. It seems our mathematical beliefs are safe if mathematical pluralism is true: if, loosely put, almost any consistent mathematical theory is true. It seems, after all, that in any nearby world where one’s mathematical beliefs differ from one’s actual beliefs, one (...) would believe some other true, consistent theory. Focusing on Justin Clarke-Doane’s recent discussion, I argue the thesis that mathematical beliefs are safe given pluralism faces some obstacles. I argue (i) is true of mathematical belief given pluralism only if we deny plausible claims about the interpretation of non-pluralists who many of us could easily be. Unless strong metasemantic theses are true, it is plausible many of us could easily deny or refuse to believe a consistent and true mathematical theory we actually believe. Since philosophical arguments and controversies permeate the methodology of foundational mathematics, I argue we cannot confidently distinguish the methods we use in mathematics between worlds, thus raising doubts about (ii). (shrink)

We present a new model for the human psyche in this paper. We support the thinkers from Philosophy of Science that believe that we should keep the theory that best explains our phenomena, and, therefore, we believe that we should keep the theory we here present for the human psyche. We present evidences as to why our theory explains the human psyche better than the Freudian and the Jungian theories. We include all concepts created by Jung and Freud in our (...) theory apart from the collective unconscious. We introduce the elements extended id and extended ego in terms of human personality and the elements judgmental, non-judgmental, shared, and non-shared in terms of human mind. Our methodology consists in performing a logical analysis of the theories of Freud and Jung and then put them against the known reality to come up with solutions that address the gaps that both exhibit. (shrink)

In the literature on philosophical progress it is often assumed that agreement is a necessary condition for progress. This assumption is sensible only if agreement is a reliable sign of the truth, since agreement on false answers to philosophical questions would not constitute progress. This paper asks whether agreement among philosophers is (or would be) likely to be a reliable sign of truth. Insights from social choice theory are used to identify the conditions under which agreement among philosophers would be (...) a reliable indicator of the truth, and it is argued that we lack good reason to think that philosophical inquiry meets these conditions. The upshot is that philosophical agreement is epistemically uninformative: agreement on the answer to a philosophical question does not supply even a prima facie reason to think that the agreed-upon view is true. However, the epistemic uninformativeness of philosophical agreement is not an indictment of philosophy's progress, because philosophy is valuable independent of its ability to generate agreement on the correct answers to philosophical questions. (shrink)

In this paper, we discuss three translation techniques: literal, cultural, and artistic. Literal translation is a well-known technique, which means that it is quite easy to find sources on the topic. Cultural and artistic translation may be new terms. Whilst cultural translation focuses on matching contexts, artistic translation focuses on matching reactions. Because literal translation matches only words, it is not hard to find situations in which we should not use this technique. Because artistic translation focuses on reactions, judging the (...) quality of an artistic translation work is one of the most difficult things one can do. We end up having a score of complexity and humanity for each one of the mentioned techniques: Literal translation would be the closest thing we have to the machines world and artistic translation would be the closest thing we have to the purely human world. By creating these classifications and studying the subtleties of each one of them, we are adding degrees of quality to our courses and to translation as a professional field. The main contribution of this paper is then the formalization of such a piece of knowledge. We, however, also lay the foundations for studies of this type. (shrink)

Most theorists working on moral obligations to refugees conceive of western states as innocent bystanders with duties to aid refugees if they can do so at little cost to themselves. This paper challenges this dominant theoretical framing of global displacement by highlighting for the first time certain practices of western states in response to refugee flows such as border violence, detention, encampment and containment which may make us question whether states who engage in such practices are indeed innocent. This paper (...) provides the first normative analysis of these practices by seeking to classify them as either doing or allowing harm and invoking the fundamental moral imperative central to core common moral commitments - not to harm innocent people - to suggest that certain western states are not merely failing to aid refugees and allowing harm to come to them, but are instead responding to their calls for aid by harming them. (shrink)

Our investigative question is what part of the human psyche is active when we are sleeping. We use the single-counter-example method, extracted from Classical Logic, to prove that it could not be the case that one of our existing models for the human psyche could explain the human sleep. The models of the human psyche that we consider are the Freudian, the Jungian, and our own. By proving that no known part could be active whilst we sleep, and we prove (...) all by presenting known facts, we reach the conclusion that we need a new model of psyche to account for the entire complexity of our beings. We associate sleep with dreams. Upon discussing the human dreams in more details, we end up applying the principles of the inference to the best explanation to explain the human dreams by means of references to the spiritual world. That makes us think about how the spiritists would describe our psyche, and we then present a new model. The new model is obviously a fruit of speculation. This time, the model involves all Freudian elements, our extensional elements, body, and soul. We use the synthetic method to construct our new model. Since our sleep time is so important, to the point of obliging us to build a new model for the human psyche, we worry about protecting it. We then use studies on the impact of noise on humans to talk about how bad the consequences of having a person speaking to us during sleep are. This trivially extends to people that are in hypnotic state. We try to make a case against hypnosis and interference with the sleep of human beings by referring to health, spiritual, and world consequences. Our main result is then a new model for the human psyche, and this time a model that has to do with what is beyond what has already been formally acknowledged by us. A secondary result is that we should not allow people to hypnotize others or to speak to them as they sleep. Our conclusions are that there is definitely something beyond our rationality that happens during our sleep time and this something has not been identified by Freud, Jung or us this far. Besides, that we should not allow people to hypnotize others or speak to them as they sleep. (shrink)

In this paper I defend an eudaimonistic reading of Spinoza’s ethical philosophy. Eudaimonism refers to the mainstream ethical tradition of the ancient Greeks, which considers happiness a naturalistic, stable, and exclusively intrinsic good. Within this tradition, we can also draw a distinction between weak eudaimonists and strong eudaimonists. Weak eudaimonists do not ground their ethical conceptions of happiness in complete theories of metaphysics, epistemology, or psychology. Strong eudaimonists, conversely, build their conceptions of happiness around an overall philosophical system that extends (...) far beyond ethics, while nevertheless being directed at the promotion of a happy life. I will show that Spinozistic happiness is not only naturalistic, stable, and exclusively intrinsically good, but that Spinoza is also a strong eudaimonist because his ethical account of happiness is incomprehensible without appeal to metaphysical, epistemological, and psychological doctrines. As well, I will explain how the apparent subjective and relativistic features of Spinoza’s ethics do not undermine the eudaimonistic reading, because both Spinoza and the ancient eudaimonists grant that the beliefs/feelings of the subject play a necessary (but insufficient) role in happiness as the highest good. (shrink)

Is it right to convict a person of a crime on the basis of purely statistical evidence? Many who have considered this question agree that it is not, posing a direct challenge to legal probabilism – the claim that the criminal standard of proof should be understood in terms of a high probability threshold. Some defenders of legal probabilism have, however, held their ground: Schoeman (1987) argues that there are no clear epistemic or moral problems with convictions based on purely (...) statistical evidence, and speculates that our aversion to such convictions may be nothing more than an irrational bias. More recently, Hedden and Colyvan (2019, section VI) describe our reluctance to convict on the basis of purely statistical evidence as an ‘intuition’, but suggest that there may be no ‘in principle’ problem with such convictions (see also Papineau, forthcoming, section 6). In this paper, I argue that there is, in some cases, an in principle problem with a conviction based upon statistical evidence alone – namely, it commits us to a precedent which, if consistently followed through, could lead to the deliberate conviction of an innocent person. I conclude with some reflections on the idea that the criminal justice system should strive to maximise the accuracy of its verdicts – and the related idea that we should each strive to maximise the accuracy of our beliefs. (shrink)

According to the principle of Conjunction Closure, if one has justification for believing each of a set of propositions, one has justification for believing their conjunction. The lottery and preface paradoxes can both be seen as posing challenges for Closure, but leave open familiar strategies for preserving the principle. While this is all relatively well-trodden ground, a new Closure-challenging paradox has recently emerged, in two somewhat different forms, due to Backes :3773–3787, 2019a) and Praolini :715–726, 2019). This paradox synthesises elements (...) of the lottery and the preface and is designed to close off the familiar Closure-preserving strategies. By appealing to a normic theory of justification, I will defend Closure in the face of this new paradox. Along the way I will draw more general conclusions about justification, normalcy and defeat, which bear upon what Backes :2877–2895, 2019b) has dubbed the ‘easy defeat’ problem for the normic theory. (shrink)

Epistemic permissivism is the view that it is possible for two people to rationally hold incompatible attitudes toward some proposition on the basis of one body of evidence. In this paper, I defend a particular version of permissivism – unacknowledged permissivism (UP) – which says that permissivism is true, but that no one can ever rationally believe that she is in a permissive case. I show that counter to what virtually all authors who have discussed UP claim, UP is an (...) attractive view: it is compatible with the intuitive motivations for permissivism and avoids a significant challenge to permissivism: the arbitrariness objection. (shrink)

In this paper, we take the approach of the lexicon makers: We contemplate human language instead of trying to resist its forces. Basically, some sigmatoids seem to have been created to be free of boundaries: We fence them as we please when we apply them to our assertions, but they are quite vague in the lexicon. We here identify at least two types of such sigmatoids: The synthetisers and the specifiers. The former would originate from our capacity of isolating common (...) features of objects that, in principle, have no possible intersection. The latter would originate from our attempt of describing the 3D World by means of 2D entities. We conclude that the intrinsic vagueness of these sigmatoids is something not only acceptable, but either pleasant or necessary. (shrink)

Many of the items that humans consume are produced in ways that involve serious harms to persons. Familiar examples include the harms involved in the extraction and trade of conflict minerals (e.g. coltan, diamonds), the acquisition and import of non- fair trade produce (e.g. coffee, chocolate, bananas, rice), and the manufacture of goods in sweatshops (e.g. clothing, sporting equipment). In addition, consumption of certain goods (significantly fossil fuels and the products of the agricultural industry) involves harm to the environment, to (...) future persons, and to current persons in low-lying and developing countries, by way of their impacts on climate change. When it comes to such large-scale harms, it's easy for the individual to feel helpless. Even if she sincerely wishes things were otherwise, she may wonder what she could possibly do to make them so. In this paper I briefly explore several promising avenues for generating duties in individuals to consume ethically, and develop one in particular: that an individual ought to signal her commitments to others, as a first step in collectivizing to act against unjust global labour practices. (shrink)

A de minimis risk is defined as a risk that is so small that it may be legitimately ignored when making a decision. While ignoring small risks is common in our day-to-day decision making, attempts to introduce the notion of a de minimis risk into the framework of decision theory have run up against a series of well-known difficulties. In this paper, I will develop an enriched decision theoretic framework that is capable of overcoming two major obstacles to the modelling (...) of de minimis risk. The key move is to introduce, into decision theory, a non-probabilistic conception of risk known as normic risk. (shrink)

This review focuses on the Ogdoas scholastica by Jacob Lorhard, published in 1606. The importance of this document turns on the fact that it contains what is almost certainly the first published occurrence of the term “ontology.” The body of the work consists in a series of diagrams called “diagraphs.” Relevant features of this compendium of diagraphs are: 1. that it does not in fact contain the word “ontology,” and 2. that Lorhard himself was not responsible for its content.

Entailment is an interesting sigmatoid: It should mean one thing, but it means another, just for starters. When used in Mathematics, it is usually with the sense of saying that something is definitely true. That would be the use in Classical Logic then. When used in Logic, it became something else. Now it was about how the logical system, which can be any nonclassical one, could be making a proposition become true or false. The major issue we found in 2000, (...) when learning from the own nonclassicists what they do, was that they talk about Nonclassical Logic, therefore a way of thinking that is not Cartesian, yet they stick to the notion of entailment we use in Mathematics, and therefore to the Classical Logic ways. We here discuss exactly this. (shrink)

The Unexpected Hanging Problem is also known as the Surprise Examination Problem. We here solve it by isolating what is logical reasoning from the rest of the human psyche. In a not-so-orthodox analysis, following our tradition (The Liar, Dichotomy, The Sorites and Russell’s Paradox), we talk about the problem from a perspective that is more distant than all the known perspectives. From an observational point that is in much farther than all the observational points used until now, the reader can (...) finally see why the problem has been perpetuated as a problem and can also see that the problem was never an actual problem: Once more, we have an allurement. The allurement this time makes us start paying attention to all the complexity of the human psyche when studying problems that involve human feelings. The main finding could be told to be that we have to understand and study more the human psyche, in all its intricacies, also when dealing with problems that seem to belong with exclusivity to Mathematics or Logic. (shrink)

Climate change appears to be a classic aggregation problem, in which billions of individuals perform actions none of which seem to be morally wrong taken in isolation, and yet which combine to drive the global concentration of greenhouse gases (GHGs) ever higher toward environmental (and humanitarian) catastrophe. When an individual can choose between actions that will emit differing amounts of GHGs―such as to choose a vegan rather than carnivorous meal, to ride a bike to work rather than drive a car, (...) or to take a reusable bag to the supermarket rather than send another plastic bag to landfill―does she have any reason to choose the lower-emitting actions? In this chapter I'll reject the claim that individuals don't make a difference when it comes to climate change. I first discuss making a difference with every action, as a way of getting clearer about how individuals' actions impact causally on the harms resulting from climate change, making a distinction so far overlooked in the climate ethics discussion between 'macro' thresholds like ice-cap melt, and 'micro' thresholds like severe weather events. I set aside making a difference with every action as implausible, and then move on to discuss both low probability of major difference, and high probability of minor difference. I argue that both of these are plausible characterizations of individuals' causal contributions to climate change. I conclude by noting some policy implications of having (probabilistic) individual difference-making back in play. (shrink)

One of the most intriguing claims in Sven Rosenkranz’s Justification as Ignorance is that Timothy Williamson’s celebrated anti-luminosity argument can be resisted when it comes to the condition ~K~KP—the condition that one is in no position to know that one is in no position to know P. In this paper, I critically assess this claim.

We propose a typology of representational artifacts for health care and life sciences domains and associate this typology with different kinds of formal ontology and logic, drawing conclusions as to the strengths and limitations for ontology in a description logics framework. The four types of domain representation we consider are: (i) lexico-semantic representation, (ii) representation of types of entities, (iii) representations of background knowledge, and (iv) representation of individuals. We advocate a clear distinction of the four kinds of representation in (...) order to provide a more rational basis for using ontologies and related artifacts to advance integration of data and enhance interoperability of associated reasoning systems. We highlight the fact that only a minor portion of scientifically relevant facts in a domain such as biomedicine can be adequately represented by formal ontologies as long as the latter are conceived as representations of entity types. In particular, the attempt to encode default or probabilistic knowledge using ontologies so conceived is prone to produce unintended, erroneous models. (shrink)

In this paper I respond to Marcello Di Bello’s criticisms of the ‘normic account’ of the criminal standard of proof. In so doing, I further elaborate on what the normic account predicts about certain significant legal categories of evidence, including DNA and fingerprint evidence and eyewitness identifications.

This paper addresses the question of what organisms are and therefore what kinds of biological entities qualify as organisms. For some time now, the concept of organismality has been eclipsed by the notion of individuality. Biological individuals are those systems that are units of selection. I develop a conception of organismality that does not rely on evolutionary considerations, but instead draws on development and ecology. On this account, organismality and individuality can come apart. Organisms, in my view, are as Godfrey- (...) class='Hi'>Smith puts it “essentially persisters.” I argue that persistence is underpinned by differentiation, integration, development, and the constitutive embeddedness of organisms in their worlds. I examine two marginal cases, the Portuguese Man O’ War and the honey bee colony, and show that both count as organisms in light of my analysis. Next, I examine the case of holobionts, hosts plus their microsymbionts, and argue that they can be counted as organisms even though they may not be biological individuals. Finally, I consider the question of whether other, less tightly integrated biological systems might also be treated as organisms. (shrink)

We here propose a solution to the problem we have raised. Basically, the mathematical notion of entailment seems to be connected to the inferential rules from Classical Logic, so that if we have P: x belongs to the reals, and Q: x+2=5 => x=3, P |= Q. Notwithstanding, we would also have that if P: x belongs to the interval (7,10), and Q: x+2=5 => x=3, P |= Q. The second instance of entailment does not seem to be justifiable if (...) our intuition is consulted: Even though we could say that absurdity implies anything in Classical Logic, entailment should be a concept that belongs to the metalogic, not to the logic of the system, so that we should not be inside of the Classical Logic World by the time we assess things in what regards entailment. As another point, our discussions in Entailment led us to choose the sense has as a consequence for entailment, so that it is not really acceptable that we have, as a consequence, using normal language, of x being inside of the real interval (7,10) that if x+2=5, then x=3. If x is in that interval, x+2 should not be 5, unless we are talking about moduli of vectors. However, when we transfer to Classical Logic, in having the antecedent false, and the consequent false as well, we have that the implication, which some call material, is true. We here discuss this sort of matter in detail, and hope to get to the bottom of the issue, and perhaps to a universal solution. (shrink)

We begin at the beginning, with an outline of Aristotle’s views on ontology and with a discussion of the influence of these views on Linnaeus. We move from there to consider the data standardization initiatives launched in the 19th century, and then turn to investigate how the idea of computational ontologies developed in the AI and knowledge representation communities in the closing decades of the 20th century. We show how aspects of this idea, particularly those relating to the use of (...) the term 'concept' in ontology development, influenced SNOMED CT and other medical terminologies. Against this background we then show how the Foundational Model of Anatomy, the Gene Ontology, Basic Formal Ontology and other OBO Foundry ontologies came into existence and discuss their role in the development of contemporary biomedical informatics. (shrink)

In uttering a sentence we are often taken to assert more than its literal meaning — though we sometimes assert less. Robyn Carston and others take this phenomenon to show that what is said or asserted by a speaker on an occasion of utterance is usually a contextuallyenriched version of the semantic content of the sentence. I shall argue that we can resist this conclusion if we recognize that what we think we are asserting, or take others to be asserting, (...) involves selective attention to one of the ways a sentence could be true and neglects others. Most of the time people converge in their selective attention and so communication is not impaired. Though in the case of sentences involving predicates of taste, people’s attention to different aspect of the truth conditions leads to seemingly intractable disputes. I will propose a treatment of such cases on which speakers mean the same by a sentence, assert no more than its semantic content, hold conflicting opinions about its truth-value, and are both right. (shrink)

This essay is a response to Luis M. Augusto’s intriguing paper on the rift between mainstream and formal ontology. I will show that there are in fact two questions at issue here: 1. concerning the links between mainstream and formal approaches within philosophy, and 2. concerning the application of philosophy (and especially philosophical ontology) in support of information-driven research for example in the life sciences.